/* kernel reads */
uint32_t seed_ins_source[]={
	/* 4 byte */
	0xc1f2adbd,
	0xc291a469,
	0xc291a46d,
	0xc451b086,
	0xc495874d,
	0xc635b945,
	0xc673b789,
	0xc673b989,
	0xc677a94d,
	0xc677b94d,
	0xc677b9c5,
	0xc8538c8d,
};

/* not run */
#if 0
#endif

/* run */
#if 0
/* zero bytes */
uint32_t seed_ins_source[]={
	0xc5e9a0d7,
	0xc5caa8de,
	0xc451b0c6,
	0xc45190c6,
};

/* kernel reads */
uint32_t seed_ins_source[]={
	/* 1 byte */
	0x29b4fa1a,
	0x2f535c47,
	0x31118ba1,
	0x3137b347,
	0x3177f311,
	0x31b20e73,
	0x33d199a9,
	0x33d52d94,
	0x33d3d5b7,
	0x82bba4e2,
	0x871b8945,
	0x8b330147,
	0x8e8aa887,
	0x8e8a8887,
	0x8fd29b55,
	0x8f24d36b,
	0x92b7a4a8,
	0xa18db253,
	0xab169e41,
	0xab77df0b,
	0xac0db1bc,
	0xac7e9948,
	0xac7ea14a,
	0xac9a9e85,
	0xacfa83fe,
	0xad97b502,
	0xadbe8c8b,
	0xadc9831e,
	0xae979508,
	0xaed1b681,
	0xaed58ad7,
	0xaedfba85,
	0xaef79050,
	0xaefeba89,
	0xb0a0881d,
	0xb16b81f6,
	0xb16bb1f6,
	0xb1b791e9,
	0xb27aada9,
	0xb36885f6,
	0xc1f1ac03,
	0xc411b82b,
	0xc491a82b,
	0xd407a107,
};

/* lgdt */
uint32_t seed_ins_source[]={
	0xa313075b,
};

/* kernel writes */
uint32_t seed_ins_source[]={
	/* 1 byte */
	0x9a17953f,
	0x9f95944c,
	0xe091a46f,
	0xe291a46f,
	0xe2b7ad2f,
	0xf1971c49,
	0xf1f6fc2b,
	0xf217ad6f,
	0xf2b3a56f,
	0xf2b70d6f,
	0xf2b7ad0f,
	0xf2b7ad6b,
	0xf2b7ad6f,
	0xf2b7cd6f,
	0xf357b4bc,
	0xf3b78d6f,
	0xfc343c0a,
	0xfc920c0e,
	0xfc92a40c,
	0xfcb26c0e,
	/* 4 byte */
	0xe091b46d,
	0xe1f6b4ec,
	0xe2118dfd,
	0xe211a46d,
	0xe2148cfd,
	0xe2158d7d,
	0xe2518dfd,
	0xe2758dfd,
	0xe291946d,
	0xe293a46d,
	0xe2d1ac6d,
	0xe2d3ac6d,
	0xe315adfd,
	0xe3358dfd,
	0xe391a46d,
	0xe5f6b6ec,
	0xe6d1b680,
	0xfed394c8,
};

/* add, sub */
uint32_t seed_ins_source[]={
	/* add */
	0x8236a4e8,
	0x82b6b0e8,
	0x8a3651d0,
	0x8a690bf0,
	0x8a9d7308,
	0x8a9df308,
	0x8af76b08,
	0x8afc5310,
	0x8bf74d08,
	/* sub */
	0x80d2c5f2,
	0x80d4c5f2,
	0x8171b5ca,
	0x8257010a,
	0x82572d0a,
	0x8277610a,
	0x8277adca,
	0x829f83ca,
	0x82b85312,
	0x82db83ca,
	0x82f0d90a,
	0x833135ca,
	0x837115ca,
	0x837135ca,
	0x8371b5ca,
	0x8a7923d2,
	0x8a7973d2,
	0x8a9d730a,
	0x8ac193f2,
	0x8ad85312,
	0x8af81312,
	0x8af95312,
	0x8afc4312,
};

/* immediate load */
uint32_t seed_ins_source[]={
	0xc270b389,
};

/* bitwise and, or */
uint32_t seed_ins_source[]={
	/* and */
	0x8b153514,
	0x8b171d14,
	0x8b370514,
	0x8a171514,
	/* or */
	0x82f48314,
	0x82d3e5d5,
	0x82d541f5,
	0x82f141f5,
};

/* shift instructions */
/*
uint32_t seed_ins_source[]={
	0x802d0fe3,
	0x80d6c7c2,
	0x80d6cfe2,
	0x8115afe3,
	0x812d67c3,
	0x812f0fc3,
	0x812f8fe2,
	0x81566702,
	0x81abbf03,
	0x81f7cfe2,
	0x81f7dfe2,
	0x83af0fe3,
	0x83fb27e2,
	0x84d4c5e2,
	0x85140703,
	0x85144503,
	0x85144703,
	0x85146703,
	0x85344703,
	0x8554e703,
	0x894aa7c2,
	0x899bbf03,
	0x89abb702,
	0x89bbbf03,
	0x89f78fe2,
	0x8a09bfc3,
	0x8ae8d7c3,
	0x8b2bbf03,
	0x84647de2,
	0x8597b503,
	0x856f7de2,
	0x873f1702,
	0x873fad03,
	0x877f1f02,
	0x877f3f02,
	0x8c1f5d02,
	0x850325c4,
	0x85dfc704,
	0x85eb6fe5,
	0x863b9f05,
	0x86437dc4,
	0x870bc5c5,
	0x873f0f00,
	0x873f3f00,
	0x874b85c5,
	0x8c1f1500,
	0x8c1f1d00,
	0x8c3f1500,
	0x8c3f9d00,
	0x8cbd47c0,
	0x8ceb2fe5,
	0x8cfda5e0,
	0x8d1f1500,
	0x8d5f0d00,
	0x8dab6fe5,
	0x8dc395c4,
	0x8deb2fe5,
	0x8deb5fe5,
	0x8deb6de5,
	0x8debefc5,
	0x8dfd85e0,
	0x8dfda7e4,
	0x8e1b7705,
	0x8e1bbf05,
	0x8e5845c5,
	0x8e5d65e4,
	0x8f1955c5,
	0x8f3f0f00,
	0x8f5865e5,
	0x8f7f1f00,
	0x8f985de5,
	0x8006d7f0,
	0x8026c7d0,
	0x8026d7f0,
	0x80a217d0,
	0x8126d7d0,
	0x8136d7d0,
	0x813ae710,
	0x8595c705,
	0x86091d07,
	0x8809cfd0,
	0x8819cfc8,
	0x881aaf08,
	0x8826d7d0,
	0x8859cfd0,
	0x888186c8,
	0x8898c7d0,
	0x8919cfc8,
	0x897a6710,
	0x8aa8d7d0,
	0x8b734f08,
	0x8b9f5de5,
	0x8bf76f08,
	0x8dbca5e0,
	0x8ddca5e0,
	0x8de92fe5,
	0x8dfca5c0,
	0x8dfca7e0,
	0x8dfcade0,
	0x8dfcbde0,
	0x8dfce5e0,
	0x8e491d05,
	0x8e5c65c4,
	0x8e5c65e4,
	0x8e5c6de4,
	0x8e7c85c4,
	0x8e95d7c5,
	0x8ec945c5,
	0x8ec947c5,
	0x8fa18704,
	0x8fe18504,
	0x851c4f03,
	0x8dfcade2,
	0x842aadc7,
	0x862aaf07,
	0x866aad07,
	0x870a05c5,
	0x874a1d05,
	0x8d8a1de5,
	0x8e62a7c4,
	0x85627de2,
	0x8e5165e4,
	0x8ff18504,
};
*/

/* gpr xfers */
uint32_t seed_ins_source[]={
	0xac128165,
	0xac138147,
	0xac138165,
	0xac138345,
	0xac1390af,
	0xac13a14d,
	0xac13ae90,
	0xac13bf61,
	0xac149b4b,
	0xac15b927,
	0xac1687e9,
	0xac168f71,
	0xac1787c1,
	0xae50b662,
	0xae55bac9,
	0xae56be68,
	0xafd1ae1f,
	0xafd4ae2d,
	0xafd6aa4e,
	0xafd6ae2d,
	0xafd6be68,
	0xaff3bded,
	0xb011b0e5,
	0xb2548273,
	0xb257a26d,
	0xb257b315,
	0xb3d19bb9,
	0xb3d1b9b9,
	0xb3d5a795,
	0xb3e495c0,
	0xb3f19f97,
};
#endif
